Finite geometries and diffractive orbits in isospectral billiards

Several examples of pairs of isospectral planar domains have been produced in the two-dimensional Euclidean space by various methods. We show that all these examples rely on the symmetry between points and blocks in finite projective spaces; from the properties of these spaces, one can derive a relation between Green functions as well as a relation between diffractive orbits in isospectral billiards.Comment: 10 page

Topological Force and Torque in Spin-Orbit Coupling System

The topological force and torque are investigated in the systems with spin-orbit coupling. Our results show that the topological force and torque appears as a pure relativistic quantum effect in an electromagnetic field. The origin of both topological force and torque is the Zitterbewegung effect. Considering nonlinear behaviors of spin-orbit coupling, we address possible phenomena driven by the topological forces.Comment: 4 page

Testing real-time systems using TINA

The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts

Ricci-flat Metrics with U(1) Action and the Dirichlet Boundary-value Problem in Riemannian Quantum Gravity and Isoperimetric Inequalities

The Dirichlet boundary-value problem and isoperimetric inequalities for positive definite regular solutions of the vacuum Einstein equations are studied in arbitrary dimensions for the class of metrics with boundaries admitting a U(1) action. We show that in the case of non-trivial bundles Taub-Bolt infillings are double-valued whereas Taub-Nut and Eguchi-Hanson infillings are unique. In the case of trivial bundles, there are two Schwarzschild infillings in arbitrary dimensions. The condition of whether a particular type of filling in is possible can be expressed as a limitation on squashing through a functional dependence on dimension in each case. The case of the Eguchi-Hanson metric is solved in arbitrary dimension. The Taub-Nut and the Taub-Bolt are solved in four dimensions and methods for arbitrary dimension are delineated. For the case of Schwarzschild, analytic formulae for the two infilling black hole masses in arbitrary dimension have been obtained. This should facilitate the study of black hole dynamics/thermodynamics in higher dimensions. We found that all infilling solutions are convex. Thus convexity of the boundary does not guarantee uniqueness of the infilling. Isoperimetric inequalities involving the volume of the boundary and the volume of the infilling solutions are then investigated. In particular, the analogues of Minkowski's celebrated inequality in flat space are found and discussed providing insight into the geometric nature of these Ricci-flat spaces.Comment: 40 pages, 3 figure

Correlation Between the Deuteron Characteristics and the Low-energy Triplet np Scattering Parameters

The correlation relationship between the deuteron asymptotic normalization constant, $A_{S}$, and the triplet np scattering length, $a_{t}$, is investigated. It is found that 99.7% of the asymptotic constant $A_{S}$ is determined by the scattering length $a_{t}$. It is shown that the linear correlation relationship between the quantities $A_{S}^{-2}$ and $1/a_{t}$ provides a good test of correctness of various models of nucleon-nucleon interaction. It is revealed that, for the normalization constant $A_{S}$ and for the root-mean-square deuteron radius $r_{d}$, the results obtained with the experimental value recommended at present for the triplet scattering length $a_{t}$ are exaggerated with respect to their experimental counterparts. By using the latest experimental phase shifts of Arndt et al., we obtain, for the low-energy scattering parameters ($a_{t}$, $r_{t}$, $P_{t}$) and for the deuteron characteristics ($A_{S}$, $r_{d}$), results that comply well with experimental data.Comment: 19 pages, 1 figure, To be published in Physics of Atomic Nucle

Compact Einstein Spaces based on Quaternionic K\"ahler Manifolds

We investigate the Einstein equation with a positive cosmological constant for $4n+4$-dimensional metrics on bundles over Quaternionic K\"ahler base manifolds whose fibers are 4-dimensional Bianchi IX manifolds. The Einstein equations are reduced to a set of non-linear ordinary differential equations. We numerically find inhomogeneous compact Einstein spaces with orbifold singularity.Comment: LaTeX 28 pages, 5 eps figure

Non-commutative mechanics and Exotic Galilean symmetry

In order to derive a large set of Hamiltonian dynamical systems, but with only first order Lagrangian, we resort to the formulation in terms of Lagrange-Souriau 2-form formalism. A wide class of systems derived in different phenomenological contexts are covered. The non-commutativity of the particle position coordinates are a natural consequence. Some explicit examples are considered.Comment: 15 pages, Talk given at Nonlinear Physics. Theory and Experiment VI,Gallipoli (Lecce), Italy, June 23 - July 3, 201

On the error term in Weyl's law for the Heisenberg manifolds (II)

In this paper we study the mean square of the error term in the Weyl's law of an irrational $(2l+1)$-dimensional Heisenberg manifold . An asymptotic formula is established

Dominant Topologies in Euclidean Quantum Gravity

The dominant topologies in the Euclidean path integral for quantum gravity differ sharply according on the sign of the cosmological constant. For $\Lambda>0$, saddle points can occur only for topologies with vanishing first Betti number and finite fundamental group. For $\Lambda<0$, on the other hand, the path integral is dominated by topologies with extremely complicated fundamental groups; while the contribution of each individual manifold is strongly suppressed, the ``density of topologies'' grows fast enough to overwhelm this suppression. The value $\Lambda=0$ is thus a sort of boundary between phases in the sum over topologies. I discuss some implications for the cosmological constant problem and the Hartle-Hawking wave function.Comment: 14 pages, LaTeX. Minor additions (computability, relation to ``minimal volume'' in topology); error in eqn (3.5) corrected; references added. To appear in Class. Quant. Gra

A natural Finsler--Laplace operator

We give a new definition of a Laplace operator for Finsler metric as an average with regard to an angle measure of the second directional derivatives. This definition uses a dynamical approach due to Foulon that does not require the use of connections nor local coordinates. We show using 1-parameter families of Katok--Ziller metrics that this Finsler--Laplace operator admits explicit representations and computations of spectral data.Comment: 25 pages, v2: minor modifications, changed the introductio